def absurd[A]: Nothing => A